Synchronous programming language - PDFSEARCH.IO - Document Search Engine

Synchronous programming language
Results: 24

#	Item
21	Laboratoire VERIMAG UMR 5104 Directeur: Nicolas Halbwachs Campagne d’´ evaluation 2011–2015 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-02-11 10:51:36 Validity Science Theoretical computer science Hardware description languages Technology Synchronous programming language Lustre Joseph Sifakis Verification Formal methods Systems engineering Pharmaceutical industry
22	Modeling Synchronous Systems in BIP Marius Bozga Vassiliki Sfyrla Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Software engineering Concurrency Petri net SIGNAL Modal logic Synchronous programming language Actor model Signal-flow graph Computing Diagrams Logic
23	The Synchronous Data Flow Programming Language LUSTRE NICHOLAS HALBWACHS, PAUL CASPI, PASCAL RAYMOND, AND DANIEL PILAUD Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2009-11-09 16:25:59 Hardware description languages Boolean algebra Boolean data type Verilog Conditional ALGOL 68 FALSE Esterel Control flow Computing Software engineering Programming language theory
24	PDF Document Add to Reading List Source URL: www.deeds.informatik.tu-darmstadt.de Language: English - Date: 2012-03-01 03:11:47 Computing Software Visual programming languages Hardware description languages Synchronous programming languages Esterel Technologies VIATRA Model-driven engineering Simulink Unified Modeling Language Systems engineering Software engineering